منابع مشابه
Use of Prologiii in Teaching Artiicial Intelligence Techniques Mm Aria Smoll Arovv A, Pavol Nn Avrat
At The Faculty of Electrical Engineering and Information Technology in Bratislava, teaching Artiicial Intelligence involves various problem solving techniques, among them also constraint satisfaction. Recently, we have introduced programming language PrologIII to students specializing in Software Engineering. As a part of the subject Methods and Techniques of Artiicial Intelligence, which is an...
متن کاملA Topos for a Nonstandard Functional Interpretation
We introduce a new topos in order to give a semantic account of the nonstandard functional interpretation introduced by Eyvind Briseid, Pavol Safarik and the author.
متن کاملFlexible manufacturing system with automatic control of product quality
Pavol BOŽEK, Elena PIVARČIOVÁ 1) Slovak Technical University Faculty of Materials Science and Technology, Institute of Applied Informatics, Automation and Mathematics, Hajdóczyho 1, 917 24 Trnava, Slovakia 2) Technical University in Zvolen Faculty of Environmental and Manufacturing Technology, Department of Informatics and Automation Technologies, TG. Masaryka 24, 960 53 Zvolen, Slovakia pavol....
متن کاملComparison of Hierarchical Control and Distributed Control for Microgrid
Comparison of Hierarchical Control and Distributed Control for Microgrid Xianyong Feng, Aditya Shekhar, Fang Yang, Robert E. Hebner & Pavol Bauer To cite this article: Xianyong Feng, Aditya Shekhar, Fang Yang, Robert E. Hebner & Pavol Bauer (2017) Comparison of Hierarchical Control and Distributed Control for Microgrid, Electric Power Components and Systems, 45:10, 1043-1056, DOI: 10.1080/15325...
متن کاملMultilevel Logic Programming for Software Engineering: Modelling Version Selection in Software System Connguration Management Mm Aria Bielikovv a and Pavol Nn Avrat Multilevel Logic Programming for Software Engineering
This research has been motivated by the need to provide more lucid and eeective means for describing and structuring all the various knowledge related to certain software engineering tasks, such as a version selection. Software connguration management (SCM) is one of the areas closely related to supporting engineering approaches to software development. Our objective was to achieve an eeec-tive...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Central Europe
سال: 2004
ISSN: 1479-0963,1745-8218
DOI: 10.1179/147909604789832959